Proof

The plot alternates between events immediately following the death of Robert (Anthony Hopkins), a brilliant mathematician whose genius was undone by crippling mental illness, and flashbacks revealing the life he shared with his daughter Catherine (Gwyneth Paltrow). Catherine is also a mathematician, but she struggles with living in her father's shadow, with balancing her demanding studies with caring for her father and also with the fear that she may have inherited his mental illness. At home, Robert clings to sanity by constantly bombarding Catherine with complex mathematical problems.
In the opening scene Robert startles Catherine while she watches TV in the middle of the night. He gives her a bottle of champagne for her birthday, and they chat for a while about the nature of insanity, ending with the revelation that Robert died last week and his funeral is tomorrow.
Awakened from this dream, Catherine realizes that Hal (Jake Gyllenhaal), a former graduate student of Robert's, is still upstairs, reading through Robert's books. Robert filled many notebooks with meaningless notes. Hal believes that Robert's genius may have withstood his illness, and clues to that genius might lie among the gibberish of his notebooks. When Hal comments on the vast amount of work Robert did, a suspicious Catherine searches Hal's backpack. Though Catherine finds nothing in Hal's bag, a notebook falls out of his coat. He explains that he wanted to give the notebook as a birthday present because it "had something written in it about her, not math, her". Hal is forced to leave, giving the notebook as intended, when Catherine calls the police.
The next day, for the funeral, Catherine's sister Claire (Hope Davis) arrives in town. A huge contrast to the unkempt Catherine, Claire is an overly put together, neurotic New Yorker. Relations between the sisters are tense, and Catherine cannot stand her sister's constant harping on matters of appearance. Catherine is also upset that Claire didn't care for her father as much as Catherine did in his final years.
At the funeral, Catherine expresses her frustration with the many people there. She interrupts the string quartet with an impromptu speech, berating everyone for not being there for her father while he was alive. She describes his descent into insanity, and that at one time he would borrow piles of books believing that aliens were sending him messages encoded in their Dewey Decimal codes. She ends by saying she's glad her father is dead and walks out of the church mid-funeral.
Claire decides to sell Robert's house back to the university and wants Catherine to come with her to New York; Catherine is upset that she will be forced to leave the house. It becomes evident that Claire suspects that Catherine may be struggling with mental illnesses, as their father had. A wake held at the house the night after the funeral, is attended by many academic mathematicians. Hal appears and chats up Catherine. Softening up to Hal, Catherine sleeps with him. Afterwards, she gives the student a key to her father's desk.
In flashbacks, Robert is shown suddenly invigorated, believing he has seen the beginnings of a new mathematical proof that will prove his triumph over mental illness.
In the present, Hal finds a notebook in Robert's desk, which itself contains a lengthy but apparently very important proof. He is very excited and shows the discovery to Catherine and Claire. He asks Catherine how long she knew about this and why she did not tell him about it. She tells him that she wrote it. Catherine claims the work is hers and not her father's despite evidence to the contrary. Neither Hal nor Claire believe Catherine. Hal believes the mathematics of the proof are beyond Catherine, while Claire simply suspects that Catherine is suffering the onset of mental illness. Catherine can't describe the proof without the notebook because it "is not a muffin recipe". Hal decides to take it to the math department the next day to verify the proof's accuracy.
He returns as Claire and Catherine are leaving, with news that the math department believes the proof to be valid. Hal tells Claire that he doesn't think that her father wrote the proof because it employs newer mathematics and wants Catherine to explain it to him sometime. Catherine remains stung by his earlier lack of trust, and the sisters leave for the airport; but, Hal sprints after the car and throws the book through the window and onto Catherine's lap.
At the airport, Catherine has another flashback. It is revealed that, while living together, her father challenged her to work on math, which she does, ultimately completing a proof, which she describes in one of the many notebooks in the house. Catherine goes to tell her father about the breakthrough, but he insists she read aloud the proof that he is working on. To Catherine's disappointment, Robert's notebook contains not a proof, but a rambling and desperate observation of the passage of the seasons, that the year is divided into months of cold, months of warmth and months of indeterminate temperature, that the future of heat is the future of cold, that the future of cold is infinite, and that he will never be as cold as he will be in the future. Reading her father's work, Catherine realizes that Robert has not overcome his mental illness. A dispirited Catherine leaves her notebook in Robert's desk, where Hal will later find it.
Catherine has begun to come to terms with herself, aided by Hal's confidence in her. She decides that she does not need to go with her sister to New York and runs out of the airport. She returns to University of Chicago, and the film ends with her and Hal meeting up on campus and discussing the proof.

Question: who finds a notebook in Robert's desk?
Answer: Hal